descriptive definition of language in automata